#ifndef KBD_THREAD_H_
#define KBD_THREAD_H_

#include "interrupt_trap_handler.h"
void* kbd_thread(void* arg);

#endif
